Design of Discrete Controllers for Continuous Systems Using Hybrid Chi

Design of Controllers for Linear Hybrid Systems

In this paper, we describe an approach for deriving control laws for linear hybrid systems given the phase transition system and the global invariance. After illustrating the method, we show that the approach can be applied for purposes of veriication, viability and discuss extensions to nonlinear hybrid systems.

Modular Analysis of Discrete Controllers for Distributed Hybrid Systems

The algorithmic analysis of control systems for large and distributed hybrid systems is considerably restricted by its computational complexity. In order to enable the verification of discrete controllers for such hybrid systems, this contribution proposes an approach that combines decomposition, model checking and deduction. The system under examination is first decomposed into a set of module...

Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation

We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of pre...

Hybrid Simulation of Continuous-discrete Systems

Many processes in the chemical industry have some discrete phenomena superimposed on the continuous system dynamics. While the continuous behavior arises from phenomena such as mass, energy and momentum conversion, discrete behavior may occur due to physico-chemical discontinuities or discrete controller actions. Such systems which involve interaction between the continuous system dynamics and ...

Bisimulations of Discrete, Continuous and Hybrid Systems